Formal techniques, modelling and analysis of timed and fault-tolerant systems - joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
- Författare
- France) FTRTFT 2004 (2004 : Grenoble Sergio. Yovine Y. (Yassine) Lakhnech France) FORMATS 2004 (2004 : Grenoble
- (Yassine Lakhnech, Sergio Yovine (eds.)., Internat. conference proceedings., Includes bibliographical references and index.)
- Genre
- Konferenser, Konferenspublikation, Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | c2004 | Tyskland, Berlin, New York | x, 395 sidor. ill. 24 cm. |